Nuprl Definition : Rlist
11,40
postcript
pdf
Rlist(
L
) == reduce((
x
,
y
. Rplus(
x
;
y
)); Rnone;
L
)
latex
Definitions
Rnone
,
Rplus(
left
;
right
)
,
x
.
A
(
x
)
,
reduce(
f
;
k
;
as
)
FDL editor aliases
Rlist
origin
x,y. Rplus(x; y)); Rnone; L) x,y. Rplus(x; y)); Rnone; L) x.A(x)